имена логического типа

См. также в других словарях:

• РАССЕЛ — (Russell) Бертран (1872 1970) англ. философ, ученый и общественный деятель. Лауреат Нобелевской премии по литературе (1950). Р. учился и в дальнейшем преподавал в Кембриджском ун те. Он неоднократно приглашался для преподавания в ун ты др. стран …   Философская энциклопедия

• Ложбан — Самоназвание: la lojban Создан: Группа Логического Языка на основе языка логлан Регулирующая организация: Группа Логического Языка Категория …   Википедия

• Ложбан язык — Ложбан Самоназвание: la lojban Создан: Группа Логического Языка на основе языка логлан Регулирующая организация: Группа Логического Языка Категория: Логический язык Классификаци …   Википедия

• РАССЕЛ (RUSSELL) Бертран — (1872 1970) англ. философ, ученый и общественный деятель. Лауреат Нобелевской премии по литературе (1950). Р. учился и в дальнейшем преподавал в Кембриджском ун те. Он неоднократно приглашался для преподавания в ун ты других стран, прежде всего… …   Современная западная философия. Энциклопедический словарь

• ИМЕНОВАНИЯ ТЕОРИЯ —     ИМЕНОВАНИЯ ТЕОРИЯ теория, развитая Г. Фреге для семантического анализа формального языка арифметики, пригодного для построения теоретической арифметики, но применяемая как самим Фреге, так и рядом его последователей и для анализа… …   Философская энциклопедия

• StarEdit — Главное окно программы редактора StarEdit. StarEdit  официальный редактор уровней игры StarCraft. Поставляется вместе с игрой. Редактирует файлы с расширениями .scm (карты оригинальной версии игры) и .scx (карты StarCraft: BroodWar,… …   Википедия

• Star Edit — Главное окно программы редактора StarEdit. StarEdit  официальный редактор уровней игры расширениями .scm (карты оригинальной версии игры) и .scx (карты StarCraft: BroodWar, официального расширения). В реестре за путь к редактору отвечает… …   Википедия

• Инсталляция (StarCraft) — Главное окно программы редактора StarEdit. StarEdit  официальный редактор уровней игры расширениями .scm (карты оригинальной версии игры) и .scx (карты StarCraft: BroodWar, официального расширения). В реестре за путь к редактору отвечает… …   Википедия

• Комплекс (StarCraft) — Главное окно программы редактора StarEdit. StarEdit  официальный редактор уровней игры расширениями .scm (карты оригинальной версии игры) и .scx (карты StarCraft: BroodWar, официального расширения). В реестре за путь к редактору отвечает… …   Википедия

• ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

• СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ —     СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка.     Учение о семантических категориях восходит к Т. Фреге и… …   Философская энциклопедия